Tiuryn, Jerzy : rechercher sur Z-Library

Albert R. Meyer, Jerzy Tiuryn

Année:

2000

Langue:

english

Fichier:

PDF, 296 KB

english, 2000

Equivalences among logics of programs

Journal:

Journal of Computer and System Sciences

Année:

1984

Langue:

english

Fichier:

PDF, 742 KB

english, 1984

Unique fixed points vs. least fixed points

Journal:

Jerzy Tiuryn, David B. Benson

Année:

1980

Langue:

english

Fichier:

PDF, 2.46 MB

english, 1980

Fixed points in free process algebras, part II

Journal:

International Journal of Mass Spectrometry

Année:

1990

Langue:

english

Fichier:

PDF, 1.38 MB

english, 1990

Automated reduction and interpretation of multidimensional mass spectra for analysis of complex peptide mixtures

Anna Gambin, Janusz Dutkowski, Jakub Karczmarski, Bogusław Kluge, Krzysztof Kowalczyk, Jerzy Ostrowski, Jarosław Poznański, Jerzy Tiuryn, Magda Bakun, Michał Dadlez

Journal:

Année:

2007

Langue:

english

Fichier:

PDF, 1.35 MB

english, 2007

DLS-trees: A model of evolutionary scenarios

Paweł Górecki, Jerzy Tiuryn

Journal:

Dexter Kozen, Jerzy Tiuryn

Année:

2006

Langue:

english

Fichier:

PDF, 792 KB

english, 2006

On the completeness of propositional Hoare logic

Journal:

Information Sciences

Année:

2001

Langue:

english

Fichier:

PDF, 95 KB

english, 2001

Deregulation upon DNA damage revealed by joint analysis of context-specific perturbation data

Ewa Szczurek, Florian Markowetz, Irit Gat-Viks, Przemysław Biecek, Jerzy Tiuryn, Martin Vingron

Journal:

Michał Drabikowski, Szymon Nowakowski, Jerzy Tiuryn

Année:

2011

Langue:

english

Fichier:

PDF, 3.86 MB

english, 2011

Library of local descriptors models the core of proteins accurately

Journal:

Proteins: Structure, Function, and Bioinformatics

Année:

2007

Langue:

english

Fichier:

PDF, 478 KB

english, 2007

A model for the evolution of paralog families in genomes

Ryszard Rudnicki, Jerzy Tiuryn, Damian Wójtowicz

Journal:

Journal of Mathematical Biology

Année:

2006

Langue:

english

Fichier:

PDF, 182 KB

english, 2006

Some relationships between logics of programs and complexity theory

Jerzy Tiuryn, Pawel Urzyczyn

Journal:

David B. Benson, Jerzy Tiuryn

Année:

1988

Langue:

english

Fichier:

PDF, 2.89 MB

english, 1988

Fixed points in free process algebras, part I

Journal:

Année:

1989

Langue:

english

Fichier:

PDF, 1.89 MB

english, 1989

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Subrecursion as a basis for a feasible programming language

Année:

1995

Langue:

english

Fichier:

PDF, 868 KB

english, 1995

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories

Mariangiola Dezani-Ciancaglini, Jerzy Tiuryn, Paweł Urzyczyn

Année:

1995

Langue:

english

Fichier:

PDF, 836 KB

english, 1995

Discrimination by Parallel Observers: The Algorithm

Journal:

Année:

1999

Langue:

english

Fichier:

PDF, 293 KB

english, 1999

A Sequent Calculus for Subtyping Polymorphic Types

Journal:

Jerzy Tiuryn, Paweł Urzyczyn

Année:

2001

Langue:

english

Fichier:

PDF, 254 KB

english, 2001

The Subtyping Problem for Second-Order Types Is Undecidable

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 154 KB

english, 2002

A simplified proof of DDL < DL

Journal:

Szymon Nowakowski, Jerzy Tiuryn

Année:

1989

Langue:

english

Fichier:

PDF, 645 KB

english, 1989

A new approach to the assessment of the quality of predictions of transcription factor binding sites

Journal:

Journal of Biomedical Informatics

Année:

2007

Langue:

english

Fichier:

PDF, 317 KB

english, 2007

Some results on the decomposition of finite automata

Journal:

Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn

Année:

1978

Langue:

english

Fichier:

PDF, 438 KB

english, 1978

Another incompleteness result for Hoare's logic

Journal:

Année:

1982

Langue:

english

Fichier:

PDF, 563 KB

english, 1982

Unbounded program memory adds to the expressive power of first-order programming logic

Journal:

Année:

1984

Langue:

english

Fichier:

PDF, 1.00 MB

english, 1984

Preface

Journal:

Janusz Dutkowski, Jerzy Tiuryn

Année:

1985

Fichier:

PDF, 23 KB

1985

Phylogeny-guided interaction mapping in seven eukaryotes

Journal:

Bartek Wilczynski, Norbert Dojer, Mateusz Patelak, Jerzy Tiuryn

Année:

2009

Langue:

english

Fichier:

PDF, 3.32 MB

english, 2009

Finding evolutionarily conserved cis-regulatory modules with a universal set of motifs

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 685 KB

english, 2009

Applying dynamic Bayesian networks to perturbed gene expression data

Norbert Dojer, Anna Gambin, Andrzej Mizera, Bartek Wilczyński, Jerzy Tiuryn

Journal:

Bartek Wilczyński, Torgeir R Hvidsten, Andriy Kryshtafovych, Jerzy Tiuryn, Jan Komorowski, Krzysztof Fidelis

Année:

2006

Langue:

english

Fichier:

PDF, 660 KB

english, 2006

Using local gene expression similarities to discover regulatory binding site modules

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 687 KB

english, 2006

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Algorithmic aspects of propositional tense logics

Jerzy Tiuryn, Jan P. Radomski, Piotr P. Slonimski

Année:

1995

Langue:

english

Fichier:

PDF, 638 KB

english, 1995

Striking properties of duplicating DNA molecules. A Markov chain model demonstrates the convergence of amplified molecules to regular series of multiples of 2

Journal:

Comptes Rendus de l'Académie des Sciences - Series III - Sciences de la Vie

Année:

1999

Langue:

english

Fichier:

PDF, 436 KB

english, 1999

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || A λ-calculus structure isomorphic to Gentzen-style sequent calculus structure

Année:

1995

Langue:

english

Fichier:

PDF, 722 KB

english, 1995

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 1784 || On Recognizable Stable Trace Languages

Michal Wozniak, Limsoon Wong, Jerzy Tiuryn

Année:

2000

Langue:

english

Fichier:

PDF, 319 KB

english, 2000

CAMBer: an approach to support comparative analysis of multiple bacterial strains

Journal:

BMC Genomics

Année:

2011

Langue:

english

Fichier:

PDF, 789 KB

english, 2011

An approach to identifying drug resistance associated mutations in bacterial strains

Michal Wozniak, Jerzy Tiuryn, Limsoon Wong

Journal:

BMC Genomics

Année:

2012

Langue:

english

Fichier:

PDF, 507 KB

english, 2012

SIZE DISTRIBUTION OF GENE FAMILIES IN A GENOME

RUDNICKI, RYSZARD, TIURYN, JERZY

Journal:

Mathematical Models and Methods in Applied Sciences

Année:

2014

Langue:

english

Fichier:

PDF, 375 KB

english, 2014

TACO: a general-purpose tool for predicting cell-type–specific transcription factor dimers

Jankowski, Aleksander, Prabhakar, Shyam, Tiuryn, Jerzy

Journal:

BMC Genomics

Année:

2014

Langue:

english

Fichier:

PDF, 1009 KB

english, 2014

[IEEE 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - Hong Kong, China (2010.12.18-2010.12.21)] 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) - CAMBer: An approach to support comparative analysis of multiple bacterial strains

Wozniak, Michal, Wong, Limsoon, Tiuryn, Jerzy

Année:

2010

Langue:

english

Fichier:

PDF, 433 KB

english, 2010

A Probabilistic Model of Neutral and Selective Dynamics of Protein Network Evolution

Dutkowski, Janusz, Tiuryn, Jerzy

Journal:

Gambin, Anna, Tiuryn, Jerzy, Tyszkiewicz, Jerzy

Année:

2013

Langue:

english

Fichier:

PDF, 583 KB

english, 2013

Alignment with Context Dependent Scoring Function

Journal:

Wójtowicz, Damian, Tiuryn, Jerzy

Année:

2006

Langue:

english

Fichier:

PDF, 356 KB

english, 2006

Evolution of Gene Families Based on Gene Duplication, Loss, Accumulated Change, and Innovation

Journal:

Szczurek, Ewa, Biecek, Przemysław, Tiuryn, Jerzy, Vingron, Martin

Année:

2007

Langue:

english

Fichier:

PDF, 226 KB

english, 2007

Introducing Knowledge into Differential Expression Analysis

Journal:

Année:

2010

Langue:

english

Fichier:

PDF, 442 KB

english, 2010

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 1784 || Hierarchical Graph Transformation

Année:

2000

Langue:

english

Fichier:

PDF, 444 KB

english, 2000

[IEEE 22nd Annual Symposium on Foundations of Computer Science - Nashville, TN, USA (1981.10.28-1981.10.30)] 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981) - Unbounded program memory adds to the expressive power of first-order dynamic logic

Dojer, Norbert, Biecek, Przemyslaw, Tiuryn, Jerzy

Année:

1981

Langue:

english

Fichier:

PDF, 661 KB

english, 1981

Bi-Billboard: Symmetrization and Careful Choice of Informant Species Results in Higher Accuracy of Regulatory Element Prediction

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 463 KB

english, 2011

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || On the interpretation of type theory in locally cartesian closed categories

Année:

1995

Langue:

english

Fichier:

PDF, 826 KB

english, 1995

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 1784 ||

Wozniak, Michal, Wong, Limsoon, Tiuryn, Jerzy

Année:

2000

Langue:

english

Fichier:

PDF, 8.31 MB

english, 2000

eCAMBer: efficient support for large-scale comparative analysis of multiple bacterial strains

Journal: